// 如果rhs是空集，那么内容到lhs
// 如果lhs是空集，那么内容为rhs
// 如果都为空集，那么内容为空